diphosphomevalonate decarboxylase;
pyrophosphomevalonate decarboxylase;
mevalonate-5-pyrophosphate decarboxylase;
pyrophosphomevalonic acid decarboxylase;
5-pyrophosphomevalonate decarboxylase;
mevalonate 5-diphosphate decarboxylase;
ATP:(R)-5-diphosphomevalonate carboxy-lyase (dehydrating)