5-Oxo-1-(phenylsulfonyl)proline AIDS-131739 AIDS131739 NSC624495