(R,E)-4-((1R,3aS,7aR,E)-4-((E)-2-((3S,5R)-3,5-bis(tert-butyldimethylsilyloxy)-2-methylenecyclohexylidene)ethylidene)-7a-methyloctahydro-1H-inden-1-yl)-1-cyclopropylpent-2-en-1-one