142-30-3 2,5-Dimethyl-3-hexyne-2,5-diol AIDS-017555 AIDS017555