I'd personally use a rescue disk.
All have decent rescue disks. I personally use avg, Ive had good luck with it. http://www.avg.com/us-en/avg-rescue-cd
On a non infected pc go to the link above, Burn the disk. Boot to the disk on the infected machine and run the virus scan it provides.