Information related to Dermatophyllum juanhintonianum