You can't really compress video files very well. You'd see little to no difference from the original size to the compressed size. The best way to compress video files, would be by using codecs, like Xvid, as you mentioned already.