如何将DIVX+Ogg的AVI转成RMVB?

我用了Helix Realproducer 9.0 和10 都不行。一打开就死机，不知道为什么。以前一直都没有问题，只有最近下的AVI开始出现这个问题。我用AVICODEC查了，这些出问题的都是DIVX的视频+Ogg的音频。是不是因为这种文件格式Realproducer解不了呢？请问有哪位高手能指教在下一二，本人不胜感激。