History of mycology