1-[(tert-Butoxycarbonyl)-L-leucyl]-3-(R,S)-pyrrolidinol AIDS-071253 AIDS071253