What name of virus does avast report, exactly?
And can you see the file c:\windows\system32\arotmmk.dll in Explorer?