2-Phenyl-2,3,3a,4-tetrahydrobenzo[5,6]thiochromeno[4,3-c]pyrazole AIDS-126574 AIDS126574 NSC116588