AIDS-165394 AIDS165394 Isoxazole, 3-tricyclo[3.3.1.13,7]dec-1-yl-