On the prismatization of a p-adic formal scheme beyond the Hodge-Tate locus