2(1H)-Quinolinone, 4-[(cyclopropylethynyl)oxy]-6-fluoro-3-propyl- AIDS-222515 AIDS222515