[veey]

Так ведь в AVI звук и так обычно уже сжат!

Его нужно просто выгрузить. Не знаю, как в Линуксе, а в Виндазе это можно сделать ВиртуалДабом за считанные секунды. Получаем WAV-файл (уже сжатый в MPEG-Layer3), который превращается в MP3 простой заменой заголовка. Например, с пом. wavemp3. Даже если его просто переименовать, он будет играться любым mp3-плейером (хотя это, имхо, не кошерно).

А ты, фактически, mp3 распаковываешь в чистый wav, а потом лэймом его обратно кодируешь в mp3. (если я правильно понял процедуру). При этом качество будет неминуемо ухудшаться. А если у исходного звука битрейт был ниже, чем у конечного файла, то тогда получается абсурд вдвойне.