Text this: Alpha7-acetylcholine receptor antibodies in two patients with Rasmussen encephalitis.