I use SWITCH converter. It is the most simple and easy to use audio converter and it converts avi into mp3 too. Click on this link: http://www.nch.com.au/switch/switchsetup.exe
I use Audacity for audio editing, a popular freeware, and yes you can use Import feature in it for extracting audio from videos, and then encode it into a wide range of formats.