Isohypsibius mammillosus (Iharos, 1964)