Ergosterol, the unusual dominant sterol of the pythiaceous fungus Zoophagus insidians