An inactivated enterovirus 71 vaccine in healthy children.