AIDS-151186 AIDS151186 Methyl 1-((4-methylphenyl)sulfonyl)-4-(phenylseleno)-2-pyrrolidinecarboxylate NSC690767