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