Acredito ser nessa parte, se entendi direito o que você quer fazer.
você pode usar o método replace
das strings no javascript.
function baixar(arquivo) {
var get = document.getElementById("download").getElementsByTagName('a');
for(var i in get) {
get[i].href = get[i].href.replace('.webm','.mp4');
}
}