Which of the following drugs is an ergosterol synthesis inhibitor?