Real MP4 files usually have descriptive names, not random strings of 10 capital letters.
If you already downloaded it, did you the file, or just save it to your folder? Download File WIFFKNGHRD.mp4
In Windows, check "File name extensions" in View settings to see if it's actually an .exe . Real MP4 files usually have descriptive names, not