Maybe you can scan with some on-line service before formating…
Kaspersky Trendmicro housecall Ewido F-Secure Panda ActiveScan BitDefender (free removal of the malware) HitmanPro (new online scanner)