There's a media conversion program called Mediacoder that covers quite a lot of formats, although having had a quick look at the website it doesn't state real audio as one of the audio formats :-( but it might be worth a go!
http://www.mediacoderhq.com/