tmb puedes probar el dr divx, es muy facil de usar, le dices dnd esta el archivo avi, eliges la calidad de compresion o el tamaño del archivo final q quieras tener y el solito se encarga de todo lo demas, tmb le puedes indicar la resolucion si quieres y la calidad del mp3
salu2