Correlations between the alpha-Gal antigen, antibody response and calcification of cardiac valve bioprostheses: experimental evidence obtained using an alpha-Gal knockout mouse animal model | Synapse