β-Himachalene