1-(1-Cyclohexen-1-yl)-2-((methoxycarbonyl)amino)ethyl 6-iodo-1,3-benzodioxole-5-carboxylate AIDS-134858 AIDS134858 NSC633889