A direct transformation of bicyclic keto esters to N-formimidoyl thienamycin