2,3-Bis((trimethylsilyl)ethynyl)-2-butene-1,4-diol AIDS-138037 AIDS138037 NSC643904