AIDS-015398 AIDS015398 NSC639817 Tert-butyl 5-(acetyloxy)-5-cyano-3a,4,5,6,7,7a-hexahydro-1H-4,7-epoxy-1,2,3-benzotriazole-1-carboxylate