4H-Quinolizine-3-carboxylic acid, 8-(8-amino-6-azaspiro[3.4]oct-6-yl)-1-cyclopropyl-7-fluoro-1,9a-dihydro-9-methyl-4-oxo- AIDS-111447 AIDS111447