You could try Bink and Smacker from Rad Video Tools at
http://www.radgametools.com/binkhcon.htm
It claims to be able to convert almost any format into any other format, although it does have problems with, eg .avi files that have sound embedded instead of as a seperate channel, still it's free!