По преобразованию в DivX (он же МР4) пошаговые инструкции смотри здесь (англ.):

<a href="http://www.vcdhelp.com/convert.htm" title="http://www.vcdhelp.com/convert.htm" target="_blank">http://www.vcdhelp.com/convert.htm</a>

По конкретному файлу со спутника - мало исходной информации. Если правильный мпег, то современная версия Media Player"а должна была его прочитать без дополнительных кодеков.