Synthesis of carbapenem-3-phosphonic acid derivatives