1-Ethyl-6,8-difluoro-4-oxo-7-(1-oxo(1,4-thiazaperhydroin-4-yl))hydroquinoline-3-carboxylic acid AIDS-029525 AIDS029525 PD115311