What is the formula of cyclohexene and iodine?