有好多的这样的文件
20141211.mp4_1.mp4
20141211.mp4_2.mp4
20141211.mp4_3.mp4
20141211.mp4_4.mp4
想把他们用批处理改成mp4的怎么弄？