AIDS-188925 AIDS188925 Cyclopropyl(quinolin-2-yl)methanol