Post hoc false discovery proportion inference under a Hidden Markov Model