8,25(27)-ergostadienol