Typification of Sphaeria sinensis to precisely fix the application of the name of the economically important Chinese caterpillar fungus, Ophiocordyceps sinensis