1,​3 imidazolidine derivatives and their use in the production of carbapenem