Surgery for mitral valve disease in the pediatric age group.