AIDS-121145 AIDS121145 Ethyl 4-(3',3''-dicarboxy-5',5''-dichloro-4',4''-dimethoxydiphenylmethylene)piperidinecarboxylate