AIDS-005473 AIDS005473 Penicillin deriv. [2R-[2.alpha.(R*),4.beta.(R)]]-5,5-Dimethyl-.alpha.-[(phenylacetyl)amino]-N-(phenylmethyl)-4-[[[1-(hydroxymethyl)-3-methylbutyl]amino]carbonyl]-2-thiazolidineacetamide