Well this is weird. It flagged as having that trojan, deleted the file and told me to restart to get rid of it. I did, file's gone.
I re-downloaded it to submit to another scan besides Windows Defender, but tried unzipping it again- it's fine. No problems. So I guess my system just had a momentary lapse.