The 4.0.1 for PC download gives me just a generic file of no specific type, so it can't be unzipped or anything like that, and the file name is just some random numbers
If you right-click the file you downloaded and view the properties, what is the file type showing as? Assuming you didn't already figure it out, that is.
