(1R,5R)-3-L-<(1-benzyloxycarbonylamino-1-phenyl)methyl>-6-<(2-methyl-1-benzyloxycarbonyl)prop-1-enyl>-4-thia-2,6-diazabicyclo<3.2.0>hept-2-en-7-one