On the Mac you can export to WAV then use iTunes to convert to mp3 or AAC.