1,1'-Ethylenedicyclohexanol AIDS-017563 AIDS017563