AIDS-144875 AIDS144875 Di(tert-butyl) 3-(2-hydroxyethylidene)-1,2-azetidinedicarboxylate NSC668363