Recombinant hirudin anticoagulation for aortic valve replacement in heparin-induced thrombocytopenia