Thrombus formation during cerebrovascular catheterization in heparin-induced thrombocytopenia