Only other program I came across that could do it, and would do it to the quality you require, is QuickTime Pro. You can custom change the quality because it completely re-writes the file in the new codec, but it took an absolute age even for a short animated fly through.
..but it costs
Sorry I couldn't be more help.