Relation of systemic arterial pulse pressure to coronary atherosclerosis in patients with mitral stenosis.