1-Cyclohexene-1-carboxylic acid,5-[[(1,1-dimethylethoxy)carbonyl]amino]-4-(2,4,5-trifluorophenyl)-,(4R,5S)-rel-