AIDS-192681 AIDS192681 Isoxazolo[4,3-c]quinolin-3(5H)-one, 5-propyl-7-(4-pyridinyl)-