Ein in gewissen Pilzen (besonders Dermocyben, Hautköpfe) vorkommendes Pigment.