Which of the following terpenes is most likely to be involved in cholesterol synthesis?