lo puedes hacer con el mismo itunes facilmente
y cual es el codec más "estandar"/común para pasar a mp3 ?
depende... si lo que quieres es un mp3 que suene bien, pues a 320 kbs
si no a 128
Ese codec lo llevan casi, o todos, los programas que manejan sonido, sistemas operativos incluído. Para pasar a mp3 yo uso el DAW, o el cd extract, pero hay montones. Y puedes usar el codec lame directamente desde la línea de comandos.