Theoretical Investigation of Hetero–Diels–Alder Functionalizations on SWCNT and Their Reaction Properties