Changing file name of downloaded file

Is there a way of setting the file name for download dynamically instead of using the filename of the `src` file? [This stackoverflow thread](https://stackoverflow.com/questions/56922118/how-can-i-control-the-filename-when-html5-audio-is-saved-by-the-user) suggests using the `title` attribute, but it doesn't appear to work.