1-Pyrrolidineacetic acid, a-cyclohexyl-3-phenyl-4-[[4-(propyl-2-pyridinylamino)-1-piperidinyl]methyl]-, (.alpha.R,3S,4S)- AIDS-169006 AIDS169006