AIDS-121136 AIDS121136 Ethyl 4-(4',4''-dimethoxy-3',3''-di(methoxycarbonyl)-5',5''-dimethyl-diphenylmethylene)piperidinecarboxylate