8,24(25)-ergostadienol