1-[(tert-Butoxycarbonyl)-L-leucyl]-3-pyrrolidinone AIDS-071287 AIDS071287