1-Pyrrolidineacetic acid, a-cyclobutyl-3-(3-fluorophenyl)-4-[[4-[(5-fluoro-2-pyrimidinyl)propylamino]-1-piperidinyl]methyl]-, (.alpha.R,3S,4S)- AIDS-169015 AIDS169015