The one I use is called "Sound Converter," which is a GUI for ffmpeg, which doesall the heavy lifting.