Allotraeus (Pseudallotraeus) rubriventris Gressitt, 1937