Derolus griseonotatus Pic, 1923