Try VirtualDub, a simple freeware video editor. I use it all the time to compress/recompress video clips, and it works well with DivX. The Doom9 website has some FAQs, guides, and forums devoted to DivX and VirtualDub. You'll learn all sort of tricks for achieving better image quality, using two-pass encoding, etc.