AIDS-018716 AIDS018716 alpha-(Dimethylaminomethyl)butyrophenone