Proturentomon condei Nosek, 1967 (Protura Protentomidae).