4-Piperidinol, 1-[4-[(cyclohexylmethyl)methylamino]-3-phenylbutyl]-4-(3-phenylpropyl)- AIDS-112319 AIDS112319