4H-Quinolizine-3-carboxylic acid, 8-(1-amino-3-azabicyclo[3.1.0]hex-3-yl)-1-cyclopropyl-7-fluoro-1,9a-dihydro-9-methyl-4-oxo- AIDS-111432 AIDS111432