Syntheses of 1beta-methylcarbapenems bearing 5-methyl-4-hydroxypyrrolidinone.