(3R,4R)-4-(Acetylamino)-3-[(1-ethylpropyl)oxy]-1-cyclohexene-1-carboxylic acid AIDS-114186 AIDS114186