ATP1A3 and alternating hemiplegia of childhood: No animal model is currently available for ATP1A3-associated AHC.