Synthesis of bicyclic proline analogs using a formal [3 + 2] intramolecular aziridine-allylsilane cycloaddition reaction