Do you want to compress their quality or want to zip them in small pieces?
7zip is good for zipping them. For compression, there are plenty of free converters around. Just use mp4/wmv/mkv with lower video bitrate/resolution and you will be good to go.
I used paid Adobe Encoder CC last time.