Occupation time theorems for a class of one-dimensional diffusion processes