Can a pope be a heretic?

Say for example a Pope infallibly declares that Mary was not a virgin, and is currently rotting in Hell. This obviously contradicts established Catholic Dogma. What would happen in this case? Would the cardinals get together and kick the Pope out of his office? Is a heretical ex cathedra definition cause for an automatic loss of the Papal position which would lead to a sedevacantism situation?