Pues verás, si coges el archivo verás ke se llama "película.ogm", pues si lo cambias a "película.avi" verás ke sigue funcionando.
Si lo ke kieres es pasar el sonido OGG a MP3 (cosa ke no te recomiendo) pues es un poco las laborioso y no vas a conseguir ke se oiga mejor. Como mucho conseguirás ke se oiga igual.
Si sigues interesado en esto, dilo y te lo explico sin problemas.
Saludos!
NOTA: Hoy en día DIVX no se debería considerar como un formato de película "tal cual", sólo es un formato de imagen. Antiguamente (divx 3) el codec de sonido venía incluído con el de imagen y a toda la peli se le llemaba Divx, pero en realidad Divx sólo es la imagen, el sonido era y es MP3.