Formation of bicyclo[2.2.0]hexane derivatives by the ring contraction of bicyclo[3.2.0]heptanones