3-[2-(1-Naphthyl)ethyl]-2,4,5-trioxocyclopen-taneglyoxylic acid, ethyl ester AIDS-017690 AIDS017690