Lade Dir mal bitte HijackThis herunter und poste hier die Logfiles.
Ich denke eher nicht das er sich was eingefangen hat, wenn er schon mal seine Festplatte formatiert hat. Und das er immer wieder die gleiche Datei runter lädt die mit einem Virus gebindet ist kann ich mir auch nicht vorstellen.