Antiviral Docking Analysis, Semisynthesis and Mechanistic Studies on the Origin of Stereo- and Chemoselectivity in Epoxidation Reaction of α'-trans-Himachalene