. "Hoehnelomyces javanicus" . . .