1-[(tert-Butoxycarbonyl)-L-phenylalanyl]-3-(RS)-pyrrolidinol AIDS-058474 AIDS058474 Boc-Phe-3-Pyridinone deriv.