5-(4-Hydroxy-phenylethynyl)-benzene-1,3-diol AIDS-187777 AIDS187777 Tolan-3