Anti-AIDS agents, 9. Suberosol, a new C31 lanostane-type triterpene and anti-HIV principle from Polyalthia suberosa.