Isomers of 24-ethylidenecholesterol: Gas chromatographic and mass spectrometric characterization