sounds like to me she doesn't have admin privladges, due to the virus corrupting her account demoting her to non admin. I would back up all her stuff and formatt the machine. save youself alot of time.
btw: there is also one other thing you can try before formatting, using a boot cd ( live cd ) called ophcrack, it boots into linux based OS and you can set it to decrypt the password of the accounts on that hard drive. it will find every account on the hard disk and also the locations of the encrypted key which is in the registry and then decrypt it and give you the password, you can then log into the admin account and promote her account back to admin.