AIDS-135242 AIDS135242 Ethyl 2-((4-methylphenyl)sulfonyl)-3-(1-naphthyl)propanoate NSC634637