Yes, I think you should consider a decompression program. Personally, I prefer 7Zip but WinRAR should work just as well. If you still run into this issue, something may be wrong with the download, maybe your internet is allocating space for the file, and then assuming it's filled?