The downloaded virus.exe is not a removal tool. It is:
Download (using a clean PC onto a USB drive) Malwarebytes , Emsisoft Emergency Kit , or Kaspersky Virus Removal Tool . Run them from the USB on the infected PC. virus.exe download