Allotraeus (s. str.) pallidipennis Ohbayashi, 1958