Melyik programmal lehet konvertálni egy fájl méretét lejjebb, és hogyan?

Felvettem egy játékról egy 55 perces videót, ami 12,5 gb-t lett, mp4. Ezt a programot már nem használom mert nem jó.

Egy másik programot használok, amivel csináltam egy 46 perces videót, de az 80 giga lett, és .avi-ra menti le.

Nem lehet itt beállítani, hogy miként csinálja meg, ezért kérdezem, hogy melyik programmal és hogyan kell kell csökkenteni a méretét, mert úgy gondolom, hogy 46 perces videóért ez a 80 giga sok.