Taxonomic name: Manota spinosa (Classification)Distribution after: Additions to the knowledge of Manota Williston (Diptera: Mycetophilidae) from the Neotropical region, with description of four new species