a.bat is not the virus itself, but just a batch-file created by it. maybe it's
this little fellow.
what av are you using? if your av doesn't help, try another. avg is recommened by many and kaspersky should work, too. try to find out the name of the virus, so that you can get more info.