The present invention relates to compounds of the formula wherein A1 to A3 and R1 to R9 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.