The present invention relates to compounds of the formula wherein R1 to R4 are defined in the description, and to pharmaceutically acceptable salts thereof, their manufacture, pharmaceutical compositions containing them and their use as medicaments for the treatment and/or prophylaxis of diseases which can be treated with HDL-cholesterol raising agents, such as particularly dyslipidemia, atherosclerosis and cardiovascular diseases.本発明は、式(式中、R1~R4は、本明細書で定義されたとおりである)の化合物及びその医薬的に許容される塩、その製造、それを含む医薬組成物、及びHDLコレステロール上昇剤で処置することができる疾患、例えば、特に、脂質異常症、アテローム性動脈硬化症、及び心血管疾患の治療及び/又は予防用医薬としての使用に関する。