2,2-Dimethyl-3a,10b-dihydro-4H-[1,3]dioxolo[4',5':3,4]pyrrolo[1,2-a]indole-10-carbonitrile AIDS-145642 AIDS145642 NSC670675