When you suspect a file's a virus, right-click on it, then analyze with windows defender. It's the antivirus you get for buying windows.