(+/-)-1-Cyclopropyl-8-((3S,4S)-3,4'-diamino-4-vinyl-[1,3']bipyrrolidinyl-1'-yl)-7-fluoro-9-methyl-4-oxo-4H-quinolizine-3-carboxylic acid AIDS-094551 AIDS094551