What format besides H.264 was playable with HTML4?