Synthesis and anti‐HIV activity of non‐nucleoside reverse‐transcriptase inhibitor DB02 phosphate derivatives based on water‐soluble optimization