哈特草螺菌是什么菌