A compound of formula I: ** Formula ** or a pharmaceutically acceptable salt thereof, wherein: R1 is CD3； and R2 is CD3, or a pharmaceutically acceptable salt thereof, wherein the isotopic enrichment factor for each designated deuterium atom is at least 6000.Un compuesto de formula I:**Fórmula** o una sal del mismo farmacéuticamente aceptable, en la que: R1 es CD3； y R2 es CD3, o una sal del mismo farmacéuticamente aceptable, en el que el factor de enriquecimiento isotópico para cada átomo de deuterio designado es de al menos 6000.
