Al ripear puedes elegir extension, de todas formas puedes convertir los ogg a mp3 con muchos programas (yo uso dbpoweramp tambien para convertir), una cosa, puede ser que dependiendo del software que uses para crear la iso o el cd mixto final, necesites los archivos en formato wav en lugar de mp3, pero eso lo veras sobre la marcha, y como ya te he dicho , solo tienes que convertir.