Isoxazoline-carbocyclic aminols for nucleoside synthesis through aza-Diels–Alder reactions