Video conversion

I'm looking for one that can rip the audio from divx - avi's/mpegs/quicktime and save it as an mp3 file.