3,10-Bis(2,4-dichlorophenyl)di[1,2,4]triazolo[4,3-a:3,4-c]quinoxaline AIDS-137952 AIDS137952 NSC643711