diphosphomevalonate decarboxylase; pyrophosphomevalonate decarboxylase; mevalonate-5-pyrophosphate decarboxylase; pyrophosphomevalonic acid decarboxylase; 5-pyrophosphomevalonate decarboxylase; mevalonate 5-diphosphate decarboxylase; ATP:(R)-5-dipho • • •