PHP - 如何将视频（mp4）文件转换为mp3音乐文件？

Question

是否可以将视频文件（mp4格式）从远程URL转换为mp3文件，并将转换后的文件作为下载动作发送？

我试过这个：Convert .mp4 to .mp3 using pure PHP但当我用mp4文件更改video.mp4远程URL时，脚本工作了4分钟，这是我服务器上的最大执行时间，所以它不起作用对我来说。

是否可以轻松快捷地将MP4格式转换为mp3？

感谢。

编辑：我在任何建议的网址中看不到工作解决方案“可能的重复”。