AIDS-017567 AIDS017567 cis-2,2'-Ethynyl-enebis(decahydro-2-naphthol)