AIDS-018725 AIDS018725 beta-Dimethylamino-2-propionaphthone