1-Allyl-8-((S)-3-amino-pyrrolidin-1-yl)-7-fluoro-9-methyl-4-oxo-4H-quinolizine-3-carboxylic acid AIDS-094520 AIDS094520