24‐Isopropylcholesterol and 22‐Dehydro‐24‐isopropylcholesterol, Novel Sterols from a Sponge