3-(1,3-Benzodioxol-5-yl)-1-(2-imino-4-methyl-2,3-dihydro-1,3-thiazol-5-yl)-2-propen-1-one AIDS-137030 AIDS137030 NSC640546