The crystal structure of ergosterol monohydrate