1-Benzyl 2-methyl 4-(((4-methylphenyl)sulfonyl)oxy)-1,2-pyrrolidinedicarboxylate AIDS-151192 AIDS151192 NSC690773