刚刚录制了一个视频，有1G，想压缩变小，请问用什么工具压缩。