88-15-3 AIDS-018339 AIDS018339 Methyl 2-thienyl ketone