VirtualDub will work for that. However, I don't know you would want to change formats, as Xvid is consistently ranked as one of the best compression methods for video. It maintains the quality with great size reduction, better than DivX. I personally prefer the combination of Xvid video and Ogg Vorbis audio, both are great compression/quality and both are open source.