Thanks for all your help.
I did a full scan, it didn't bring up the infected file so I manually searched for this and added to the virus chest. I also used one online tool on the file, so thanks for those links.
The user manual is very basic and didn't help much, I imagine once avast finds an infection it deals with it straight away, bit it is unclear.