1-(2-((tert-Butoxycarbonyl)amino)-3-phenylpropyl)proline AIDS-135632 AIDS135632 NSC635685