如何将trec格式转换成mp4