1-[(tert-Butoxycarbonyl)-L-tyrosyl]-3-pyrrolidinone AIDS-071251 AIDS071251