3-Pyrrolidinecarboxylic acid, 4-amino-1-[[ethyl(1-methylethyl)amino]carbonyl]-3-hydroxy-, (3S,4S)- AIDS-121715 AIDS121715