A reader who prefers to remain anonymous has some movies that he’d like to turn into an entirely different kind of media file. He writes: I have some MPEG-4 music video files and all I want to do is ...