Anti-AIDS agents—XIX. Neotripterifordin, a novel anti-HIV principle from Tripterygium wilfordii: Isolation and structural elucidation