3-Quinolinecarboxylic acid, 7-[3-(aminomethyl)-3-hydroxy-1-pyrrolidinyl]-1-(1-aziridinyl)-6,8-difluoro-1,4-dihydro-4-oxo- AIDS-029549 AIDS029549 PD125639