Combinatorial synthesis and biological evaluation of isoxazole-based libraries as antithrombotic agents.