1-[(tert-Butoxycarbonyl)-L-(O-benzyl)-tyrosyl]-3-(R,S)-pyrrolidinol AIDS-071252 AIDS071252