1,1'-Ethynylenedicyclohexanol 78-54-6 AIDS-017562 AIDS017562