Jens H. Petersen (Mycologue)