If you can export them as WAV or AIFF files, you can convert them to either MP3 or AAC with iTunes. Simply drop the file into a playlist, right click on the file, and choose "Convert" or "Encode" (can't remember which) and the file will be converted as to the specifications you set in the Preferences of iTunes.