Adding a download link to the default Wordpress audio player

A client of mine currently embeds audio into their posts using the default wordpress audio player and would like a download option or link to be shown to users.
They host the audio files themselves and don't want to use streaming services like soundcloud.
They also don't know coding so ideally they want it to just appear when they embed the audio.

Does anyone know of a good free plugin that does this or how to add it to the default player?

Many thanks