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