(3R,4R)-6-Chloro-4-(2-cyclopropylethynyl)-3-(3-methylbut-2-enyloxy)-4-(trifluoromethyl)-1,3,4-trihydroquinolin-2-one, rel AIDS-105722 AIDS105722