4H-Quinolizine-3-carboxylic acid, 8-(3-carboxy-1-pyrrolidinyl)-1-cyclopropyl-7-fluoro-1,9a-dihydro-9-methyl-4-oxo- AIDS-111456 AIDS111456