AIDS-015401 AIDS015401 NSC639820 Tert-butyl 6-oxo-3a,4,5,6,7,7a-hexahydro-1H-4,7-epoxy-1,2,3-benzotriazole-1-carboxylate