1-Pyrrolidineacetic acid, a-cyclobutyl-3-(3-fluorophenyl)-4-[[4-[propyl[5-(trifluoromethyl)-2-pyrimidinyl]amino]-1-piperidinyl]methyl]-, (.alpha.R,3S,4S)- AIDS-169016 AIDS169016