Studies on 1-carbadethiacephems, part II: Reaction of 4-acetoxy-2-azetidinone with aluminium enolates