24-Methylene-25-methylcholesterol, a sterol from the seeds of Brassica juncea