wav => mp3 w/ Audacity