12a,14a-Dimethyl-1-(5-methyl-1H-tetraazol-1-yl)-1,2,3,3a,3b,4,5,11,12,12a,12b,13,14,14a-tetradecahydrocyclopenta[5,6]naphtho[2,1-d]tetraazolo[1,5-a]azepine-2-carbonitrile AIDS-136714 AIDS136714 NSC639231