python如何将amr格式转换成mp3格式

从微信公众平台下载到了amr格式的语音文件，但是无法在网页播放，需要转换为mp3格式，不知道转换过程如何实现？有没有相关资料？网上写的好笼统，没有针对七牛的，python下的，望指教。

---

音频转码当然首推 FFmpeg。

可以直接跑在 Linux 服务器上，通过 shell 命令调用。Python 应该有不少相关的成熟包。