6R)-6-[[(2R)-Carboxy-3-thienylacetyl]amino]-3