Studies on the structures of imipenem, dehydropeptidase I-hydrolyzed imipenem, and related analogs