I have an issue with a .mp4 file. My source file has the following specifications:mimeType="video/mp4" codecs="avc1.64001f,mp4a.40.2" width="1280" height="720" frameRate="25"How do I have to change or convert the file that I can play it on a device that supports the following codecs:File format: *.mp4; Container: MP4; Video codecs: H.264 BP/MP/HP up to 4096p x 2160p and max. 40 Mbps Bitrate; Audio codecs: AAC, HE-AAC, MPEG(MP3)Thanks for your help