The invention relates to a compound represented by formula (I-1) or (I-3): or a pharmaceutically acceptable salt thereof, which is effective as a therapeutic or prophylactic agent against diseases caused by amyloid-β, and a pharmaceutical composition containing said compound as active ingredient.