AIDS-150727 AIDS150727 Ethyl 2,7-dihydroxy-3a,4,5,6-tetrahydro-1,2-benzisoxazole-3-carboxylate NSC688536