Audacity will do the whole job for you, you can export a snippet as mp3 very easily, as long as you have a suitable encoder (lame) installed.