Olivanic acid analogues. Part 9. Allylic oxidative functionalisation of substituted azetidinones: synthesis of some 4-acyloxy-7-oxo-1-azabicyclo[3.2.0]hept-2-ene-2-carboxylates