Lectotypification and synonymization of some Aspicilia species (Megasporaceae, Ascomycota) described by A. Hue from Korea and Japan