2-Indolinone 3(PiperidMe)1Ph deriv. 3-[4-(1-Benzoylpiperidinyl)methyl]-1-phenylindolin-2-one AIDS-004934 AIDS004934