AIDS-192687 AIDS192687 Isoxazolo[4,3-c]quinolin-3(5H)-one, 4-methyl-5-propyl-7-(4-pyridinyl)-