汽车模型的制作:用什么软件把一般的视频文件压缩成“3GP”格式最好?