Shift Command 5で録画したらものすごくでかいファイルになったんだけどなんのソフトで圧縮したらいいですか?