4a,13b-Dicyano-11-(1,5-dimethylhexyl)-8a,10a-dimethyl-1,3-dioxo-2-phenylhexadecahydro-1H,4aH-benzo[c]cyclopenta[h][1,2,4]triazolo[1,2-a]cinnolin-6-yl acetate AIDS-130542 AIDS130542 NSC603983