4-Piperidinecarboxamide, 1-(2-methyl-1-oxopropyl)-N-phenyl-N-[3-[4-(phenylmethyl)-1-piperidinyl]propyl]- AIDS-224640 AIDS224640