3,4,8,9-Tetradehydro-5,10-dihydro-2H-thiecin-5-ol AIDS-144516 AIDS144516 NSC667276