Olá, tudo bem?
Fiz um teste agora de manhã com a alteração que você indicou audio.download(filename="audio.mp3"), mas o arquivo continua como MP4.
Abraços
Olá. Estranho aqui funcionou, segue o exemplo funcionando https://drive.google.com/file/d/1F8vyfmOcnOIy1O4CRIO1DxzfcKAUDE6h/view?usp=sharing
Abraços e bons estudos
Olá,
Acho que o problema estava na frente do computador kkkkkk
Testei de novo e funcionou kkkkk
Obrigadoooo!😁