Trichlorinated phenols from hypholoma elongatum