The present invention provides a compound or a salt thereof useful for an agent for the prophylaxis or treatment of neurodegenerative disease and the like. The present invention relates to a compound represented by the formula
wherein each symbol is as defined in the present specification, or a salt thereof.
