How to Export Audio in Audacity: 5 Steps (with Pictures) - wikiHow
Audacity tutorial: Converting to mp3 or AAC and other formats, example: Matthew Smith - epic orchestral synth music for film and game effects; Buanzo's LAME mp3 library
How to Convert MP4 or Any Video to MP3 (Extract Audio from Video) » Winhelponline