1-Pyrrolidineacetic acid, a-cyclohexyl-3-phenyl-4-[[4-(propyl-2-pyrimidinylamino)-1-piperidinyl]methyl]-, (.alpha.R,3S,4S)- AIDS-169008 AIDS169008