Pulmonary hypertension in mitral stenosis.