“Will this remote work with a Philips BluRay/DVD Player BDP1200?”