1,8-Naphthyridine-3-carboxylic acid, 7-(2-carboxy-4-hydroxy-1-pyrrolidinyl)-1-ethyl-1,4-dihydro-4-oxo- AIDS-029539 AIDS029539 PD 108758