LifeHacker is linking to a software tool they say will convert any video format to any other video format.

http://www.lifehacker.com/software/downloads/download-of-the-day-any-video-converter-windows-218253.php

http://www.any-dvd-converter.com/