The iOS exporter has no MP3 encoder. When a sound is not in MP3 or WAV format already, it's converted to WAV.