Now it's time for the Publish settings, File> Publish settings…
Press the Format tab. Here only have the Flash format selected. And deselect
the "use default names" .
In the text field, change the file extension to "your name.mp3".
Now press the flash tab. Now press the set button depending on what type
of sync you selected earlier. Choose the settings you want. (the default
for a mp3 song is, preprocessing: stereo, Bit rate: 128kbps, Quality: Best).
Now press the publish (and wait? Like forever. Not really but long, if you
don't have a quick computer).