Hay que cerrar todos los programas posibles (encontrados con Ctrl+Alt+Del), incluyendo antivirus.
Luego, conociendo el nombre de los archivos de virus, correr REGEDT32. Con la función Buscar, buscar el/los nombres de los archivos de virus (buscar claves, valores, etc...). Al ir encontrando las llaves de estos archivos borrarlas y reiniciar Windows.
Luego de reiniciado, y antes de correr programas, eliminar del disco los archivos de virus.