AIDS-142233 AIDS142233 Ethyl 3,3-di(1-aziridinyl)propanoate NSC659236