What is a program that compress larger files into smaller files?

WinZip, WinRAR, 7-Zip...