1-[(tert-Butoxycarbonyl)-L-phenylalanyl]-3-pyrrolidinone AIDS-058375 AIDS058375 Boc-Phe-3-Pyridinone deriv.