Es gibt
hier die RAD Video Tools, mit denen kannst du Videos in verschiedene Codecs umkodieren.
Installieren, dann auf den Dateinamen klicken und "Convert a File". Da kannst du dann den entsprechenden Codec auswählen. Frag mich nicht, obs immer geht, und was das andere Zeugs macht - mehr hab ich noch nie getestet.
Das hilft im übrigen auch sehr gut, wenn man eine Powerpoint-prösentation auf nem fremden Rechner zum laufen bekommen soll ;-)