X-ray structures of isopentenyl phosphate kinase