Lo he arreglado ya, gracias a lo que has dicho de instalar el real alternative.
Yo ya tenía instalado el real alternative, pero he probado a reinstalarlo y he visto al final que ponía unas opciones para hacer que el WMP sea el reproductor por defecto (integrandolo en el sistema o algo así) y recordé que la anterior vez que lo instalé desactivé esas opciones, ya que lo reproduzco perfecto con el KMPlayer (para mí el mejor reproductor), ahora lo he activado y ya funciona (pero el KMPlayer ya no es el reproductor por defecto), pero para mi sorpresa, sigue funcionando poniendo que el KMPlayer sea otra vez el reproductor por defecto.
En resumen, que como la anterior vez desactivé esas opciones, los codecs no se integraron realmente en el sistema.
Muchas gracias por tu ayuda.
