When you finish downloading the lame_enc.dll file above, save it somewhere on your computer that is easy to find.
The first time you use the "Export as MP3" command, Audacity will ask you where the lame_enc.dll file is saved. You must tell Audacity where you saved the lame_enc.dll file and voila! you can now export to MP3 format forever.