When ethyl alcohol is heated with red phosphorus and HI