Pulmonary hypertension and dexfenfluramine