Butene has four carbon atoms and one double bond. Which formula is it?