2-Oxocyclo-hexanecarboxylic acid, ethyl ester AIDS-017685 AIDS017685