(E)-2-(benzotriazol-1-yl)-3-cyclohexylacrylonitrile AIDS-082703 AIDS082703