Hi!
It is very unlikely that the file downloaded from the official website is infected. You can connect to a different network and try it again. It is also possible that Virustoal flags it as malware just because it is a tool to access the TOR network.
