The complete relief of mitral stenosis: ten years of progress toward this goal.