Mitral valve replacement with a porcine heterograft in an infant