Download play audio

Hello guys,

The standard WordPress audio plays do not have a way to download: https://screenshot.net/pt/nvqfnvq?

But when I access the posts from my website with amp, I see another design to play audio. And in this play I have an option to download: https://screenshot.net/pt/qxkhlrm?

How do I make this second audio play option available to all visitors to my site?

Is this a play offered by WordPress or is it from the browser?

If WordPress does not provide this play with download then would I have any other way to make audio download available to users of my site?
Maybe an individual audio download or maybe a one-time download of all the audios found in the post.

Thank you,
Rodrigo