AIDS-121139 AIDS121139 Methyl 4-(3',3''-dichloro-4,4''-dimethoxy-5',5''-di(methoxycarbonyl)-diphenylethylene)piperidinecarboxylate