Elemento audio html5

Segue um material de apoio de como fazer:

Boa noite Jonathan_Medeiros, o elemento que estou tentando fazer download é do tipo audio,

tagAudio.PNG921×17 2.78 KB

nesse artigo se entendi bem, fala sobre o atributo download para incluir em um link, o que quero e fazer o download a partir do controle criado pelo elemento audio.

Ele não funciona o download a partir do src do áudio?

Com o endereço que está no src é aberto outra pagina

src audio.PNG1011×605 13.5 KB

Algo assim não dá certo?

<audio controls>
  <source src="vincent.mp3" type="audio/mp3"/>
  <a href="vincent.mp3">Download</a>
</audio>

É que no caso não tenho acesso a o código html, estou tentando automatizar esse recurso para um teste funcional usando selenium mas, vi que não é possível interagir com esse elemento usando somente selenium, acho q a melhor forma seria usar JS com selenium, pois com JS sei que posso dar play no audio ou pausar por exemplo:

audio = document.getElementById( 'audio' );

function play(){

audio.play();

}

queri algo como:

audio = document.getElementById( 'audio' );

function play(){

audio.download();

}

Agora entendi, nunca fiz nada do tipo!