Compatibility properties of P1 and ϕAMP prophages