一个大文件压缩成指定大小