Che io sappia non esiste un modo per convertire un video in un file audio, e quindi la soluzione che hai a portata di mano è questa: lanci il tuo file (AVI, WMA, o che altro) e l'applicazione che hai scaricato ne registrerà l'audio (quello che "transita" nella scheda) in un MP3.