2-Indolinone 3(PiperidMe)1Ph deriv. 3-[4-(1-Ethoxycarbonylpiperidinyl)methyl]-1-phenylindolin-2-one AIDS-004935 AIDS004935