Thanks to Dave Coffin's work to decode these files, I can present you with this web-based conversion tool. Upload your file and this program will spit back an mp3.