Para responder a la parte de codificación de la pregunta:
Es fácil ver en qué formato estaba el original: la mayoría de los reproductores multimedia tienen una pantalla de "propiedades de archivo" donde puede obtener esta información. VLC es uno de los mejores y más versátiles jugadores (gratuitos) que existen, y proporciona esta información (y puede volver a codificar archivos en diferentes formatos)
La información del códec está bajo Tools->Codec Information
Aquí hay un ejemplo de captura de pantalla:
EstaeslainformacióndeloscódecsutilizadosenelcontenedorqueMikemenciona.
Parala(re)codificación,haymuchasopciones:
VLC(mencionadoanteriormente):encontréestounpocodifícildeusarparalacodificación,aunqueciertamenteescapaz.
WinFF : este es probablemente el mejor codificador gratuito que existe (bueno, el mejor que he encontrado) y el que yo Recomiendo probar. Se basa en GUI y es simple para realizar conversiones básicas, aunque hay cargas de interruptores de línea de comandos que pueden hacer todo tipo de cosas extrañas y maravillosas si es necesario.
DVDFab : no es gratis, pero obtienes una prueba de 30 días y es probablemente el más fácil de usar y "simplemente funciona" IME. Probablemente sea la mejor opción si solo quieres hacer esto una vez.