4H-Quinolizine-3-carboxylic acid, 8-(1-amino-5-azaspiro[2.4]hept-5-yl)-1-cyclopropyl-7-fluoro-1,9a-dihydro-9-methyl-4-oxo- AIDS-111437 AIDS111437