GoldWave has an option to extract the audio from an AVI file to WAV audio. Use this option, save the results as a WAV file, then use an encoder to produce an MP3 file. Unfortunately, the audio in many AVI files is rather shortcoming, so the results may not sound very impressive.