Occurrence and significance of pyrochlorins in a lake sediment