New compounds have the formula: wherein R, R1, X and Y have the meanings described herein. Methods are set forth for synthesizing these compounds and using these compounds to treat diseases associated with amyloidosis, such as Alzheimer's disease, maturity onset diabetes mellitus, familial amyloid polyneuropathy, scrapie, and Kreuzfeld-Jacob disease.