AIDS-015396 AIDS015396 NSC639718 Tert-butyl 5,5-dimethoxy-3a,4,5,6,7,7a-hexahydro-1H-4,7-epoxy-1,2,3-benzotriazole-1-carboxylate