从avi到mp4,视频如何缩小为原来的1/1000?