Pulmonary artery hypertension in adult patients with symptomatic valvular aortic stenosis.