What is H3CCH=CHCH2CH3?