用什么能把70多兆的MOV文件压缩成小于10兆的avi文件?