Studies on the syntheses of heterocyclic compounds. 800. A formal total synthesis of (.+-.)-thienamycin and a (.+-.)-decysteaminylthienamycin derivative