(3R,4R)-4-(Acetylamino)-3-[(diethylamino)carbonyl]-1-cyclohexene-1-carboxylic acid AIDS-114188 AIDS114188