Disclosed is a compound represented by the formula (I-1):or a pharmacologically acceptable salt thereof, which is effective as a therapeutic or prophylactic agent for a disease induced by Aβ, wherein X1 represents -CH=CH- and Het represents a group which may be substituted with 1 to 3 substituents selected from substituents group A1 and is represented by one of the following formulas: