HIV inhibitory natural products. 3. Diterpenes from and