2-(3-Amino-pyrrolidin-1-yl)-9-(2,4-difluoro-phenyl)-3-fluoro-6-oxo-6H-pyrido[1,2-a]pyrimidine-7-carboxylic acid A-78830 AIDS-094495 AIDS094495