Pulmonary hypertension in a seventeen-year-old boy