1,3-Dichloro-6-hydroxy-5,6-dihydro-4H-cyclopenta[c]thiophen-4-one AIDS-153595 AIDS153595 NSC700862