Synthesis of Functionalised Piperidines Through a [3 + 3] Cycloaddition Strategy