File (menu) > Export > Audio as MP3 (ALT+M)

OR

Tasks (menu) > 4. Present/Export > Export Songs in Diverse Formats > Audio as MP3 (ALT+M)

Obviously, the first choice is more direct.
It's all described in the manual and help files.