1,3,5-Ethanylylidene-2H-cyclopenta[b]thiophenium, hexahydro- 2433-70-7 AIDS-125841 AIDS125841 NSC86080