Любым редактром видео
Самым маленьким и простым видеоконвертером - Convertilla.
Попробуйте Format Factory.
avi в mp3? что то новое, из Avi можно mp3 вытащить но преобразовать никак