Realizing an AD+AD+ model as a derived model of a premouse

Assuming AD++V=L(P(R))AD++V=L(P(R)), and assuming there is no proper class inner model containing all the reals that satisfies ADR+“θis regular”, we prove that in some forcing extension, either V is a derived model of a premouse or V embeds into a derived model of a premouse.