@jesse-c Since the software is now nearly 15 years old, I don't think this is possible any longer.

But you should be able to export as WAV and then use a free tool like XMedia Recode to convert your WAV files to MP3. This should work without problems