Hey, I use videoMach. Its great. All you have to do, is when you click to render the clip, make sure you choose AVI, and in the video settings, set the codec to DivX, and in the codec options, choose insane quality. It will take longer to render out, but the quality will be 100x better, and 500x smaller.

Hope this helps mate.