tau55 histidine phosphatase domain