That is, in fact, a virus. Malwarebytes and AVG are known to get rid of it, if you're able to start the computer in safe mode. If that doesn't work, try logging in as a different user (assuming you've got more than one user account on the computer), as that particular piece of malware only seems to affect the user account that downloaded it.