Ring expansion of prophins with ethoxycarbonylnitrene