Take your chances, mate. The original wallet was clean. Once Inferno started his little action by spamming the bitcointalk forum with giveaways, new websites and so on, the new wallet file became interesting for every antivirus software.
Man, i working on windows security since about 8 years ago, for me this binary is not infected -_-
Maybe you can try to scan the wallet qt without scan the command line wallet. (because the command line wallet can be used by the pirates to do something bad, this is the reason why antivirus company prefer to warn you about this tool, but it's clean)