Use of dexfenfluramine, fenfluramine and phentermine and the risk of stroke