Infectious endocarditis of the mitral valve with hypertrophic cardiomyopathy in Costello syndrome