Compact quaternion spaces