AIDS-015402 AIDS015402 Isobutyl 6-oxo-3a,4,5,6,7,7a-hexahydro-1H-4,7-epoxy-1,2,3-benzotriazole-1-carboxylate NSC639822