Lucanus tetraodon tetraodon