ps.. no has tratado con el mejor nod32

.. por ahi tambien podrias intentar con el kaspersky q es otro de los mejores..
para desinstalarlo manual creo q seria necesario el nombre del virus.. pero el nod32 es muy bueno y creo q no tendras q complicarte muxo
salu2