AIDS-015400 AIDS015400 NSC639819 Tert-butyl 5-oxo-3a,4,5,6,7,7a-hexahydro-1H-4,7-epoxy-1,2,3-benzotriazole-1-carboxylate