4α-methylvernosterol and other sterols from Vernonia anthelmintica seeds