4-Piperidinecarboxylic acid, 1-[3-chloro-2-[5-[3-[(dichloroacetyl)amino]phenyl]-3-isoxazolyl]phenyl]-, ethyl ester AIDS-193431 AIDS193431