Then go to File > Export
Figure out where you want your converted file to go
Save as: mp3 files (or whatever you choose in the drop down box)
It takes a lot more time to export the file than to import it.
Finished.

You can adjust your mp3 rate, bit rate and more in Audacity's Preferences.