4,9-Epoxynaphtho[2,3-c]thiophene, 1,3,3a,4,9,9a-hexahydro-4,9-diphenyl-, 2,2-dioxide AIDS-132850 AIDS132850 NSC627620