Dihammus griseus Breuning, 1935