Chances are you have to pay for an encoder.

If you can export to WAV, then just grab CDEX and let it convert it from WAV to MP3 for you.