Kenyan doctors warn against HPV vaccination of girls