1-[(Benzyloxy)carbonyl]prolylserine 73912-83-1 AIDS-015238 AIDS015238 NSC334181