Clinical Benefit of NMDA Receptor Antagonists in a Patient With ATP1A2 Gene Mutation