If not let us know which one.
Alternatively, upload that downloaded file to http://virusscan.jotti.org/en-gb and see if they find any virus in the file. That web site checks with a number of up to date virus scanners.
If it finds nothing, then I suspect this is a 'False Positive' by AVG and you will need to report it directly to AVG themselves.
Mark

Chowhound
Comic Vine
GameFAQs
GameSpot
Giant Bomb
TechRepublic