Hi!
According to the screenshots the file has a .7z extension which means it is not uncompressed. Also, in the file browser screenshot it clearly says Type: 7z
As mentioned earlier watch the lecture again and follow each step accordingly.

Greetings!
Diego