http://audacity.sourceforge.net/help/faq?s=install&item=lame-mp3
Si ils le proposent pas, c´est parce que LAME est propriétaire, alors que Audacity est un logiciel libre.
Suis bien les instructions.
Sinon, tu peux toujours enregistrer ton mp3 en ogg vorbis, un format promis à un bel avenir.