Ag-catalyzed diastereoselective [6 + 3] cycloaddition of tropone with homoserine lactone-derived azomethine ylides: synthesis of tricyclic spiropiperidines