Con el nombre de Juan IV se conoce a: