Revised Empirical Formula for Eburicoic Acid