The Unarchiver (the app you linked) is my default unzipping tool, and the first one I tried. Weirdly, I downloaded the Mac version again just now to test again, and this time it extracted with zero difficulty. I had already deleted the file I'd downloaded originally, so I can't compare checksums on the new vs the old, but at least it's working now. Thanks for the quick reply.