(2-(bicyclo[2.2.2]octan-2-yl)-6,8-dichloroquinolin-4-yl)(piperidin-2-yl)methanol AIDS-070750 AIDS070750 WR-166391