1-[(tert-Butoxycarbonyl)-L-glycyl]-3-(R,S)-pyrrolidinol AIDS-071254 AIDS071254