1,1'-Ethynylenedicyclopentanol AIDS-017559 AIDS017559