Formal synthesis of the piperidine alkaloid (±)-prosophylline using polymer-supported dihydro-2H-pyridin-3-one