求一个可以把视频压缩到指定大小的软件

之前好像看到有人发过，但是搜索不到了。
————